Strategies in Modular System Design by Interface Rewriting

نویسندگان

  • Serafino Cicerone
  • Francesco Parisi-Presicce
چکیده

The problem of designing a modular system, using a set of predefined modules, with a given import and export interface has been reduced to the problem of generating a specification in an algebraic specification grammar. Here we tackle two important problems connected with the generation: the strategy to adopt in choosing the rewrite rules and the elimination of unnecessary searches. The first is investigated using a notion of similarity of specifications and a definition of value to guide the search algorithm~ the second is solved using syntactical criteria (independent of the target specification) to determine that some derivation sequences are superfluous. The latter development has been influenced by similar work on graph grammars. 1 I n t r o d u c t i o n The development of large correct software systems is very difficult without the appropriate support of notions such as modularization and interconnection of components [16,11,10]. In our context, a module specification [10,1,7] consists of four parts: a parameter part PAR to model genericity and parametrization (as in Ada generics, for example); an import part IMP (containing PAR) describing what the module needs from other modules (modelling a "virtual" module to be specified at a later time); an export interface EXP (containing PAR) specifying what part of the implemented functions are visible from the outside; and a body part BOD (containing all the others) with the description of how the functionalities exported (EXP) are implemented using those imported. Interconnection mechanisms for the horizontal structuring of systems are crucial for the stepwise development of large software in a flexible manner [7]. Interpreting the interconnections as operations on module specifications [1] it is easy to give a semantics to the main ones: union performed componentwise by specifying the common subcomponent to be identified; composition where the import of one module is matched with the export of another module; and actualization where the parameter part is replaced by an actual specification Module specifications designed and verified can be used via their interfaces, the only parts visible from the outside. A common problem is that of designing an interconnection of a predefined set of module specifications (of a library, for example) which realizes a given overall export interface from another given import interface. In [13,14] this problem has been addressed by viewing the visi* Current address: Dip. Scienze dell'Informazione , Univ. Roma "La Sapienza", via Salaria 113, 1-00198 ROMA Italy

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modular Access Control Via Strategic Rewriting

Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular way using techniques developed in the field of term rewriting, focusing especially on the use of rewriting strategies. Term rewriting supports a formalization of access control with a clear declarative semantics based on equation...

متن کامل

Strategy-aligned fuzzy approach for market segment evaluation and selection: a modular decision support system by dynamic network process (DNP)

In competitive markets, market segmentation is a critical point of business, and it can be used as a generic strategy. In each segment, strategies lead companies to their targets; thus, segment selection and the application of the appropriate strategies over time are very important to achieve successful business. This paper aims to model a strategy-aligned fuzzy approach to market segment ev...

متن کامل

Deduction, Strategies, and Rewriting

Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, different algorithms to implement a given inference system should be specified as strategies to apply the inference rules. The inference rules themselves can be naturally specified as (possibly conditional) rewrite rules. ...

متن کامل

Internal Strategies in a Re ective Logic ?

After introducing the basic notions of reeective logic and internal strategies, we discuss in detail how reeection can be systematically exploited to design a strategy language internal to a reeective logic in the concrete case of rewriting logic and Maude; and we illustrate the advantages of this new approach to strategies by showing how the rules of inference for Knuth-Bendix completion can b...

متن کامل

Attributed Hierarchical Port Graphs and Applications

We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consist of a number of interconnected layers, where each layer defines a port graph whose nodes may link to layers further down the hierarchy; attributes are used to store user-defined data as well as visualisation and run...

متن کامل

An Improved Modular Modeling for Analysis of Closed-Cycle Absorption Cooling Systems

A detailed modular modeling of an absorbent cooling system is presented in this paper. The model including the key components is described in terms of design parameters, inputs, control variables, and outputs. The model is used to simulate the operating conditions for estimating the behavior of individual components and system performance, and to conduct a sensitivity analysis based on the give...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994